Reachability Analysis for Timed Models using Max-Plus Algebra
نویسندگان
چکیده
منابع مشابه
Reachability analysis for timed automata using max-plus algebra
We show that max-plus polyhedra are usable as a data structure in reachability analysis of timed automata. Drawing inspiration from the extensive work that has been done on difference bound matrices, as well as previous work on max-plus polyhedra in other areas, we develop the algorithms needed to perform forward and backward reachability analysis using maxplus polyhedra. To show that the appro...
متن کاملModelling and Control of Computational Processes Using Max-plus Algebra
In this paper we propose a modelling technique for the control of computational processes. The Petri Net model, particularly a Timed Event Graph (TEG) can be used for analyzing. The proposed model enables the determination of state equations. The max-plus algebra represents linear algebraic form of discrete systems and supplies new tools to their modelling. We develop a linear mathematical mode...
متن کاملMax-Plus algebra on tensors and its properties
In this paper we generalize the max plus algebra system of real matrices to the class of real tensors and derive its fundamental properties. Also we give some basic properties for the left (right) inverse, under the new system. The existence of order 2 left (right) inverses of tensors is characterized.
متن کاملModeling and Scheduling Design for a Class of Queuing Systems by means of timed Petri Nets and Max-Plus Algebra
A queuing system, is a dynamical system whose state evolves in time by the occurrence of events at possibly irregular time intervals. Placetransitions Petri nets (commonly called Petri nets) are a graphical and mathematical modeling tool applicable to queuing systems in order to represent its states evolution. Timed Petri nets are an extension of Petri nets, where now the timing at which the st...
متن کاملReachability and observability of linear systems over max-plus
This paper discusses the properties of reachability and observability for linear systems over the max-plus algebra. Working in the event-domain, the concept of asticity is used to develop conditions for weak reachability and weak observability. In the reachability problem, residuation is used to determine if a state is reachable and to generate the required control sequence to reach it. In the ...
متن کامل